Optimal. Leaf size=149 \[ -\frac{x^5 (4 A b-7 a B)}{12 b^2 \left (a+b x^2\right )^{3/2}}-\frac{5 x^3 (4 A b-7 a B)}{12 b^3 \sqrt{a+b x^2}}+\frac{5 x \sqrt{a+b x^2} (4 A b-7 a B)}{8 b^4}-\frac{5 a (4 A b-7 a B) \tanh ^{-1}\left (\frac{\sqrt{b} x}{\sqrt{a+b x^2}}\right )}{8 b^{9/2}}+\frac{B x^7}{4 b \left (a+b x^2\right )^{3/2}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0620309, antiderivative size = 149, normalized size of antiderivative = 1., number of steps used = 6, number of rules used = 5, integrand size = 22, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.227, Rules used = {459, 288, 321, 217, 206} \[ -\frac{x^5 (4 A b-7 a B)}{12 b^2 \left (a+b x^2\right )^{3/2}}-\frac{5 x^3 (4 A b-7 a B)}{12 b^3 \sqrt{a+b x^2}}+\frac{5 x \sqrt{a+b x^2} (4 A b-7 a B)}{8 b^4}-\frac{5 a (4 A b-7 a B) \tanh ^{-1}\left (\frac{\sqrt{b} x}{\sqrt{a+b x^2}}\right )}{8 b^{9/2}}+\frac{B x^7}{4 b \left (a+b x^2\right )^{3/2}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 459
Rule 288
Rule 321
Rule 217
Rule 206
Rubi steps
\begin{align*} \int \frac{x^6 \left (A+B x^2\right )}{\left (a+b x^2\right )^{5/2}} \, dx &=\frac{B x^7}{4 b \left (a+b x^2\right )^{3/2}}-\frac{(-4 A b+7 a B) \int \frac{x^6}{\left (a+b x^2\right )^{5/2}} \, dx}{4 b}\\ &=-\frac{(4 A b-7 a B) x^5}{12 b^2 \left (a+b x^2\right )^{3/2}}+\frac{B x^7}{4 b \left (a+b x^2\right )^{3/2}}+\frac{(5 (4 A b-7 a B)) \int \frac{x^4}{\left (a+b x^2\right )^{3/2}} \, dx}{12 b^2}\\ &=-\frac{(4 A b-7 a B) x^5}{12 b^2 \left (a+b x^2\right )^{3/2}}+\frac{B x^7}{4 b \left (a+b x^2\right )^{3/2}}-\frac{5 (4 A b-7 a B) x^3}{12 b^3 \sqrt{a+b x^2}}+\frac{(5 (4 A b-7 a B)) \int \frac{x^2}{\sqrt{a+b x^2}} \, dx}{4 b^3}\\ &=-\frac{(4 A b-7 a B) x^5}{12 b^2 \left (a+b x^2\right )^{3/2}}+\frac{B x^7}{4 b \left (a+b x^2\right )^{3/2}}-\frac{5 (4 A b-7 a B) x^3}{12 b^3 \sqrt{a+b x^2}}+\frac{5 (4 A b-7 a B) x \sqrt{a+b x^2}}{8 b^4}-\frac{(5 a (4 A b-7 a B)) \int \frac{1}{\sqrt{a+b x^2}} \, dx}{8 b^4}\\ &=-\frac{(4 A b-7 a B) x^5}{12 b^2 \left (a+b x^2\right )^{3/2}}+\frac{B x^7}{4 b \left (a+b x^2\right )^{3/2}}-\frac{5 (4 A b-7 a B) x^3}{12 b^3 \sqrt{a+b x^2}}+\frac{5 (4 A b-7 a B) x \sqrt{a+b x^2}}{8 b^4}-\frac{(5 a (4 A b-7 a B)) \operatorname{Subst}\left (\int \frac{1}{1-b x^2} \, dx,x,\frac{x}{\sqrt{a+b x^2}}\right )}{8 b^4}\\ &=-\frac{(4 A b-7 a B) x^5}{12 b^2 \left (a+b x^2\right )^{3/2}}+\frac{B x^7}{4 b \left (a+b x^2\right )^{3/2}}-\frac{5 (4 A b-7 a B) x^3}{12 b^3 \sqrt{a+b x^2}}+\frac{5 (4 A b-7 a B) x \sqrt{a+b x^2}}{8 b^4}-\frac{5 a (4 A b-7 a B) \tanh ^{-1}\left (\frac{\sqrt{b} x}{\sqrt{a+b x^2}}\right )}{8 b^{9/2}}\\ \end{align*}
Mathematica [A] time = 0.230948, size = 139, normalized size = 0.93 \[ \frac{x \left (20 a^2 b \left (3 A-7 B x^2\right )-105 a^3 B+a b^2 x^2 \left (80 A-21 B x^2\right )+6 b^3 x^4 \left (2 A+B x^2\right )\right )}{24 b^4 \left (a+b x^2\right )^{3/2}}+\frac{5 \sqrt{a} \sqrt{a+b x^2} (7 a B-4 A b) \sinh ^{-1}\left (\frac{\sqrt{b} x}{\sqrt{a}}\right )}{8 b^{9/2} \sqrt{\frac{b x^2}{a}+1}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.017, size = 181, normalized size = 1.2 \begin{align*}{\frac{{x}^{7}B}{4\,b} \left ( b{x}^{2}+a \right ) ^{-{\frac{3}{2}}}}-{\frac{7\,Ba{x}^{5}}{8\,{b}^{2}} \left ( b{x}^{2}+a \right ) ^{-{\frac{3}{2}}}}-{\frac{35\,{a}^{2}B{x}^{3}}{24\,{b}^{3}} \left ( b{x}^{2}+a \right ) ^{-{\frac{3}{2}}}}-{\frac{35\,{a}^{2}Bx}{8\,{b}^{4}}{\frac{1}{\sqrt{b{x}^{2}+a}}}}+{\frac{35\,{a}^{2}B}{8}\ln \left ( x\sqrt{b}+\sqrt{b{x}^{2}+a} \right ){b}^{-{\frac{9}{2}}}}+{\frac{A{x}^{5}}{2\,b} \left ( b{x}^{2}+a \right ) ^{-{\frac{3}{2}}}}+{\frac{5\,aA{x}^{3}}{6\,{b}^{2}} \left ( b{x}^{2}+a \right ) ^{-{\frac{3}{2}}}}+{\frac{5\,aAx}{2\,{b}^{3}}{\frac{1}{\sqrt{b{x}^{2}+a}}}}-{\frac{5\,Aa}{2}\ln \left ( x\sqrt{b}+\sqrt{b{x}^{2}+a} \right ){b}^{-{\frac{7}{2}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.75892, size = 856, normalized size = 5.74 \begin{align*} \left [-\frac{15 \,{\left (7 \, B a^{4} - 4 \, A a^{3} b +{\left (7 \, B a^{2} b^{2} - 4 \, A a b^{3}\right )} x^{4} + 2 \,{\left (7 \, B a^{3} b - 4 \, A a^{2} b^{2}\right )} x^{2}\right )} \sqrt{b} \log \left (-2 \, b x^{2} + 2 \, \sqrt{b x^{2} + a} \sqrt{b} x - a\right ) - 2 \,{\left (6 \, B b^{4} x^{7} - 3 \,{\left (7 \, B a b^{3} - 4 \, A b^{4}\right )} x^{5} - 20 \,{\left (7 \, B a^{2} b^{2} - 4 \, A a b^{3}\right )} x^{3} - 15 \,{\left (7 \, B a^{3} b - 4 \, A a^{2} b^{2}\right )} x\right )} \sqrt{b x^{2} + a}}{48 \,{\left (b^{7} x^{4} + 2 \, a b^{6} x^{2} + a^{2} b^{5}\right )}}, -\frac{15 \,{\left (7 \, B a^{4} - 4 \, A a^{3} b +{\left (7 \, B a^{2} b^{2} - 4 \, A a b^{3}\right )} x^{4} + 2 \,{\left (7 \, B a^{3} b - 4 \, A a^{2} b^{2}\right )} x^{2}\right )} \sqrt{-b} \arctan \left (\frac{\sqrt{-b} x}{\sqrt{b x^{2} + a}}\right ) -{\left (6 \, B b^{4} x^{7} - 3 \,{\left (7 \, B a b^{3} - 4 \, A b^{4}\right )} x^{5} - 20 \,{\left (7 \, B a^{2} b^{2} - 4 \, A a b^{3}\right )} x^{3} - 15 \,{\left (7 \, B a^{3} b - 4 \, A a^{2} b^{2}\right )} x\right )} \sqrt{b x^{2} + a}}{24 \,{\left (b^{7} x^{4} + 2 \, a b^{6} x^{2} + a^{2} b^{5}\right )}}\right ] \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] time = 29.4481, size = 804, normalized size = 5.4 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.15069, size = 200, normalized size = 1.34 \begin{align*} \frac{{\left ({\left (3 \,{\left (\frac{2 \, B x^{2}}{b} - \frac{7 \, B a^{2} b^{5} - 4 \, A a b^{6}}{a b^{7}}\right )} x^{2} - \frac{20 \,{\left (7 \, B a^{3} b^{4} - 4 \, A a^{2} b^{5}\right )}}{a b^{7}}\right )} x^{2} - \frac{15 \,{\left (7 \, B a^{4} b^{3} - 4 \, A a^{3} b^{4}\right )}}{a b^{7}}\right )} x}{24 \,{\left (b x^{2} + a\right )}^{\frac{3}{2}}} - \frac{5 \,{\left (7 \, B a^{2} - 4 \, A a b\right )} \log \left ({\left | -\sqrt{b} x + \sqrt{b x^{2} + a} \right |}\right )}{8 \, b^{\frac{9}{2}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]